Functional representations and universals for MV- and GMV-algebras
نویسندگان
چکیده
We represent every normal-valued GMV-algebra as a GMV-algebra of real-valued functions; we also describe the universal MV-algebras and universal normal-valued GMV-algebras with a prescribed set of components.
منابع مشابه
Monadic GMV-algebras
Monadic MV –algebras are an algebraic model of the predicate calculus of the Lukasiewicz infinite valued logic in which only a single individual variable occurs. GMV -algebras are a non-commutative generalization of MV -algebras and are an algebraic counterpart of the non-commutative Lukasiewicz infinite valued logic. We introduce monadic GMV -algebras and describe their connections to certain ...
متن کاملPerfect GMV-Algebras
The focus of this paper is the class of perfect GMV-algebras, which includes all non-commutative analogues of perfect MV-algebras. As in the commutative case, we show that each perfect GMV-algebra possesses a single negation, it is generated by its infinitesimal elements, and can be realized as an interval in a lexicographical product of the lattice-ordered group of integers and an arbitrary la...
متن کاملEmbedding theorems for classes of GBL-algebras
The poset product construction is used to derive embedding theorems for several classes of generalized basic logic algebras (GBL-algebras). In particular it is shown that every n-potent GBL-algebra is embedded in a poset product of finite n-potent MV-chains, and every normal GBL-algebra is embedded in a poset product of totally ordered GMV-algebras. Representable normal GBLalgebras have poset p...
متن کاملNew Results on Ideals in $MV$-algebras
In the present paper, by considering the notion of ideals in $MV$-algebras, we study some kinds of ideals in $MV$-algebras and obtain some results on them. For example, we present definition of ultra ideal in $MV$-algebras, and we get some results on it. In fact, by definition of ultra ideals, we present new conditions to have prime ideals, positive implicative ideals and maximal ideals in $MV$...
متن کاملFilter Theory of Bounded Residuated Lattice Ordered Monoids
Bounded residuated lattice ordered monoids (R -monoids) are a common generalization of pseudo-BL-algebras and Heyting algebras, i.e. algebras of the non-commutative basic fuzzy logic (and consequently of the basic fuzzy logic, the Łukasiewicz logic and the non-commutative Łukasiewicz logic) and the intuitionistic logic, respectively. In the paper we introduce and study classes of filters of bou...
متن کامل